大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Beijing PCST Working Symposium (2005) 的图书(共4642本)

Biomedical Simulation [electronic resource] : 4th International Symposium, ISBMS 2008, London, UK, July 7-8, 2008 Proceedings

0
索取号：
作者：Bello、 Fernando.、Edwards、 P. J. Eddie.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Practical Aspects of Declarative Languages [electronic resource] : 9th International Symposium, PADL 2007, Nice, France, January 14-15, 2007. Proceedings

0
索取号：
作者：Hanus、 Michael.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Ada 2005 Reference Manual. Language and Standard Libraries [electronic resource] : International Standard ISO/IEC 8652/1995 (E) with Technical Corrigendum 1 and Amendment 1

0
索取号：
作者：Taft、 S. Tucker.、Duff、 Robert A.、Brukardt、 Randall L.、Ploedereder、 Erhard.、Leroy、 Pascal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Languages and Compilers for Parallel Computing [electronic resource] : 18th International Workshop, LCPC 2005, Hawthorne, NY, USA, October 20-22, 2005, Revised Selected Papers

0
索取号：
作者：Ayguad茅、 Eduard.、Baumgartner、 Gerald.、Ramanujam、 J.、Sadayappan、 P.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Pattern Recognition [electronic resource] : 30th DAGM Symposium Munich, Germany, June 10-13, 2008 Proceedings

0
索取号：
作者：Rigoll、 Gerhard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

A Practical Programming Model for the Multi-Core Era [electronic resource] : 3rd International Workshop on OpenMP, IWOMP 2007, Beijing, China, June 3-7, 2007 Proceedings

0
索取号：
作者：Chapman、 Barbara.、Zheng、 Weiming.、Gao、 Guang R.、Sato、 Mitsuhisa.、Ayguad茅、 Eduard.、Wang、 Dongsheng.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Innovative Concepts for Autonomic and Agent-Based Systems [electronic resource] : Second International Workshop on Radical Agent Concepts, WRAC 2005, Greenbelt, MD, USA, September 20-22, 2005. Revised Papers

0
索取号：
作者：Hinchey、 Michael G.、Rago、 Patricia.、Rash、 James L.、Rouff、 Christopher A.、Sterritt、 Roy.、Truszkowski、 Walt.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Declarative Programming for Knowledge Management [electronic resource] : 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. Revised Selected Papers

0
索取号：
作者：Umeda、 Masanobu.、Wolf、 Armin.、Bartenstein、 Oskar.、Geske、 Ulrich.、Seipel、 Dietmar.、Takata、 Osamu.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Theory and Applications of Relational Structures as Knowledge Instruments II [electronic resource] : International Workshops of COST Action 274, TARSKI, 2002-2005, Selected Revised Papers

0
索取号：
作者：Swart、 Harrie.、Or艂owska、 Ewa.、Schmidt、 Gunther.、Roubens、 Marc.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Implementation and Application of Functional Languages [electronic resource] : 17th International Workshop, IFL 2005, Dublin, Ireland, September 19-21, 2005, Revised Selected Papers

0
索取号：
作者：Butterfield、 Andrew.、Grelck、 Clemens.、Huch、 Frank.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Static Analysis [electronic resource] : 15th International Symposium, SAS 2008, Valencia, Spain, July 16-18, 2008. Proceedings

0
索取号：
作者：Alpuente、 Mar铆a.、Vidal、 Germ谩n.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Verified Software: Theories, Tools, Experiments [electronic resource] : First IFIP TC 2/WG 2.3 Conference, VSTTE 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions

0
索取号：
作者：Meyer、 Bertrand.、Woodcock、 Jim.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Combinatorial Pattern Matching [electronic resource] : 19th Annual Symposium, CPM 2008, Pisa, Italy, June 18-20, 2008 Proceedings

0
索取号：
作者：Ferragina、 Paolo.、Landau、 Gad M.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Requirements Engineering: Foundation for Software Quality [electronic resource] : 14th International Working Conference, REFSQ 2008 Montpellier, France, June 16-17, 2008 Proceedings

0
索取号：
作者：Paech、 Barbara.、Rolland、 Colette.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.

Agents and Peer-to-Peer Computing [electronic resource] : 4th International Workshop, AP2PC 2005, Utrecht, The Netherlands, July 25, 2005. Revised Papers

0
索取号：
作者：Despotovic、 Zoran.、Joseph、 Sam.、Sartori、 Claudio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2006.

Mathematics and Computation, a Contemporary View [electronic resource] : The Abel Symposium 2006 Proceedings of the Third Abel Symposium, Alesund, Norway, May 25鈥ⷬ 2006

0
索取号：
作者：Munthe-Kaas、 Hans.、Owren、 Brynjulf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2008.